C. - PDFSEARCH.IO - Document Search Engine

C.
Results: 504177

#	Item
61	CIUDAD DE MÉXICO Miércoles 24 de octubre de 2018 Máx. 24˚ C \| Mín. 13˚ C Add to Reading List Source URL: rm.metrolatam.com Language: Spanish - Date: 2018-10-24 00:41:29
62	c Cambridge University Press 2014 JFP: page 1 of 32. ⃝ 1 doi:S0956796813000282 Add to Reading List Source URL: cakeml.org Language: English - Date: 2014-08-07 06:01:48 Software engineering Computer programming Computing Logic in computer science Functional languages Procedural programming languages Proof assistants Theoretical computer science Standard ML ML Monad Lambda calculus
63	An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road, Add to Reading List Source URL: tointon.neocities.org Language: English - Date: 2017-05-18 16:55:58 Lie groups Mathematics Algebra Abstract algebra Nilpotent group Approximate group Lie algebra Exponential map BakerCampbellHausdorff formula Quotient group
64	1 On the efficiency of the new Italian Senate and the role of 5 Stars Movement Comparison among different possible scenarios by means of a virtual Parliament model A. Pluchino, A. Rapisarda, C. Garofalo, S. Spagano, M. Add to Reading List Source URL: www2.dfa.unict.it Language: English - Date: 2013-03-18 05:39:27 Political parties Politics of Italy Politics of Europe Five Star Movement Democratic Party Italian Parliament Possible Senate of the Republic The People of Freedom Lega Nord Conte Cabinet
65	c Copyright 2014 Michael F. Ringenburg Dynamic Analyses of Result Quality in Energy-Aware Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-22 13:27:08 Software optimization Computing Approximation Profiling Instrumentation Approximate computing Memoization Simulation
66	Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Model theory Mathematics Metalogic Logic Mathematical logic Interpretation Structure
67	Geometry & Topology–K –duality for stratified pseudomanifolds C LAIRE D EBORD Add to Reading List Source URL: math.univ-bpclermont.fr Language: English - Date: 2018-03-05 11:11:22 Mathematics Algebra Abstract algebra Differential geometry Symmetry Algebraic structures Category theory Homotopy theory Groupoid Lie algebroid Lie groupoid Group action
68	Pattern-based Synthesis of Synchronization for the C++ Memory Model Yuri Meshman Noam Rinetzky Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Concurrency control Computing Computer architecture Computer programming Synchronization Linearizability Memory barrier Parallel computing Mutual exclusion Critical section Lock Thread
69	STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s Add to Reading List Source URL: www.stepc.gr Language: English - Date: 2018-06-26 03:32:53 Internet privacy Computer access control HTTP cookie Website Web analytics Terms of service Computer security World Wide Web Information privacy Privacy concerns with social networking services
70	Fusing Social Media Cues: Personality Prediction from Twitter and Instagram Marcin Skowron Marko Tkalˇciˇc Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:49 Personality traits Psychology Behavioural sciences Neuroscience Social networking service Big Five personality traits Extraversion and introversion Openness to experience Conscientiousness Personality

UPDATE